UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

UGent (31)

UAntwerpen (23)

UHasselt (23)

UCLouvain (20)

KU Leuven (18)

ULiège (18)

AP (15)

KDG (14)

HZS (7)

ULB (7)
More...

Resource type

periodical (26)

book (23)

article (5)

object (1)

Language

Undetermined (55)

Year

From To

2024 (2)

2023 (2)

2022 (1)

2018 (2)

2017 (1)
More...

Listing 1 - 10 of 55 << page
of 6
>>
Sort by

Article

Neuromacchine sequenziali
Author: ISONNI, Battista

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
ARTIFICIAL INTELLIGENCE

Article

Continuous neuromachines as dynamic systems
Author: Carotti, Attilio.

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
ARTIFICIAL INTELLIGENCE

Article

Una definizione assiomatica del concetto di neuromacchina
Author: MELZI, Giovanni

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
ARTIFICIAL INTELLIGENCE

Book

COLLOQUE SUR LES FONDEMENTS DES MATHEMATIQUES,LES MACHINES MATHEMATIQUES,ET LEURS APPLICATIONS
Authors: Kalmar, Laszlo --- Fevrier, P. --- Akadémiai Kiadó (Hongrie)
Year: 1965 Publisher: Louvain: Nauwelaerts,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automata theory --- Artificial intelligence

Book

International Joint Conference On Artificial Intelligence
Authors: Walker, D. E. --- Norton, L. M.
Year: 1969 Publisher: [Lieu de publication inconnu]: Ijcai,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Artificial intelligence --- Proceedings

Book

Third International Joint Conference On Artificial Intelligence
Year: 1973 Publisher: [Lieu de publication inconnu]: Ijcai,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Artificial intelligence --- Proceedings

Book

Artificial intelligence : theory, logic, and application
Author: Brulé, James F
ISBN: 0830603719 0830604715 Year: 1986 Publisher: Blue Ridge Summit, PA : TAB Books,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Artificial intelligence. --- Intelligence artificielle

Book

Introducing artificial intelligence
Author: Simons, G. L.
ISBN: 0470201665 Year: 1984 Publisher: Manchester, England : NCC Publications,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Artificial intelligence. --- Intelligence artificielle

Article

Neuromachines as Turing machines
Authors: MERCANTI, Fabio --- PIAZZESE, Franco

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Informatique --- Computer science --- ARTIFICIAL INTELLIGENCE

Book

Automated theorem proving / Wolfgang Bibel
Author: Bibel, Wolfgang
Year: 1982 Publisher: Braunschweig: Vieweg,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Artificial intelligence --- Logic --- Theorem Proving

Listing 1 - 10 of 55 << page
of 6
>>
Sort by